Luca de Alfaro: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2018 22nd Conference of Open Innovations Association (FRUCT) - Jyvaskyla, Finland (2018.5.15-2018.5.18)] 2018 22nd Conference of Open Innovations Association (FRUCT) - Automatic Online Fake News Detection Combining Content and Social Signals

Della Vedova, Marco L., Tacchini, Eugenio, Moret, Stefano, Ballarin, Gabriele, DiPierro, Massimo, de Alfaro, Luca

Year:

2018

Language:

english

File:

PDF, 181 KB

english, 2018

2

Burning season and vegetation coverage influenced the community-level physiological profile of Mediterranean mixed-mesogean pine forest soils

Moya, D., Fonturbel, M.T., Lucas-Borja, M.E., PeÃ±a, E., Alfaro-Sanchez, R., Plaza-Ãlvarez, P.A., GonzÃ¡lez-Romero, J., de Las Heras, J.

Journal:

Journal of Environmental Management

Year:

2021

File:

PDF, 3.64 MB

2021

3

Code aware resource management

Krishnendu Chatterjee,Luca de Alfaro,Marco Faella…

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.10 MB

english, 2013

4

[IEEE 2016 11th International Conference on Availability, Reliability and Security (ARES ) - Salzburg, Austria (2016.8.31-2016.9.2)] 2016 11th International Conference on Availability, Reliability and Security (ARES) - Revisiting a Watermark-Based Detection Scheme to Handle Cyber-Physical Attacks

Rubio-Hernan, Jose, Cicco, Luca de, Garcia-Alfaro, Joaquin

Year:

2016

Language:

english

File:

PDF, 276 KB

english, 2016

5

[ACM Press the 24th ACM SIGKDD International Conference - London, United Kingdom (2018.08.19-2018.08.23)] Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining - KDD '18 - Automated Audience Segmentation Using Reputation Signals

Daltayanni, Maria, Dasdan, Ali, de Alfaro, Luca

Year:

2018

Language:

english

File:

PDF, 1.45 MB

english, 2018

6

Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems

Luca de Alfaro, Mariëlle Stoelinga

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 309 KB

english, 2004

7

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 63 KB

english, 2005

8

Quantitative solution of omega-regular games

Luca de Alfaro, Rupak Majumdar

Journal:

Journal of Computer and System Sciences

Year:

2004

Language:

english

File:

PDF, 371 KB

english, 2004

9

Hybrid diagrams

Luca de Alfaro, Arjun Kapur

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 347 KB

english, 2003

10

From Fairness to Chance

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.87 MB

english, 1999

11

Model checking discounted temporal properties

Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 302 KB

english, 2005

12

Concurrent reachability games

Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 504 KB

english, 2007

13

Solving games via three-valued abstraction refinement

Luca de Alfaro, Pritam Roy

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 250 KB

english, 2010

14

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 5504 || Minimal Cost Reachability/Coverability in Priced Timed Petri Nets

de Alfaro, Luca

Year:

2009

Language:

english

File:

PDF, 301 KB

english, 2009

15

Strategy improvement for concurrent reachability and turn-based stochastic safety games

Chatterjee, Krishnendu, de Alfaro, Luca, Henzinger, Thomas A.

Journal:

Journal of Computer and System Sciences

Year:

2013

Language:

english

File:

PDF, 365 KB

english, 2013

16

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 5504 || Tighter Bounds for the Determinisation of Büchi Automata

de Alfaro, Luca

Year:

2009

Language:

english

File:

PDF, 274 KB

english, 2009

17

[Lecture Notes in Computer Science] CONCUR 2005 – Concurrency Theory Volume 3653 || On Implementation of Global Concurrent Systems with Local Asynchronous Controllers

Abadi, Martín, de Alfaro, Luca

Year:

2005

Language:

english

File:

PDF, 431 KB

english, 2005

18

[ACM Press the 16th international conference - Banff, Alberta, Canada (2007.05.08-2007.05.12)] Proceedings of the 16th international conference on World Wide Web - WWW '07 - A content-driven reputation system for the wikipedia

Adler, B. Thomas, de Alfaro, Luca

Year:

2007

Language:

english

File:

PDF, 202 KB

english, 2007

19

[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - Symbolic Magnifying Lens Abstraction in Markov Decision Processes

Roy, Pritam, Parker, David, Norman, Gethin, Alfaro, Luca de

Year:

2008

Language:

english

File:

PDF, 282 KB

english, 2008

20

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 5504 ||

de Alfaro, Luca

Year:

2009

Language:

english

File:

PDF, 8.13 MB

english, 2009

21

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Qualitative Logics and Equivalences for Probabilistic Systems

Alfaro, Luca de, Chatterjee, Krishnendu, Faella, Marco, Legay, Axel

Year:

2007

Language:

english

File:

PDF, 413 KB

english, 2007

22

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Game Relations and Metrics

Alfaro, Luca de, Majumdar, Rupak, Raman, Vishwanath, Stoelinga, Marielle

Year:

2007

Language:

english

File:

PDF, 211 KB

english, 2007

23

Interface automata

de Alfaro, Luca, Henzinger, Thomas A.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2001

Language:

english

File:

PDF, 255 KB

english, 2001

24

THE COMPLEXITY OF COVERAGE

CHATTERJEE, KRISHNENDU, ALFARO, LUCA DE, MAJUMDAR, RUPAK

Journal:

International Journal of Foundations of Computer Science

Year:

2013

Language:

english

File:

PDF, 277 KB

english, 2013

25

[Lecture Notes in Computer Science] CONCUR 2005 – Concurrency Theory Volume 3653 || Deriving Weak Bisimulation Congruences from Reduction Systems

Abadi, Martín, de Alfaro, Luca

Year:

2005

Language:

english

File:

PDF, 304 KB

english, 2005

26

Reputation systems for open collaboration

De Alfaro, Luca, Kulshreshtha, Ashutosh, Pye, Ian, Adler, B. Thomas

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 1.42 MB

english, 2011

27

[ACM Press the 5th ACM international conference - Jersey City, NJ, USA (2005.09.18-2005.09.22)] Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05 - Code aware resource management

de Alfaro, Luca, Raman, Vsihwanath, Faella, Marco, Majumdar, Rupak

Year:

2005

Language:

english

File:

PDF, 249 KB

english, 2005

28

[ACM Press the 5th International Symposium - Orlando, Florida (2009.10.25-2009.10.27)] Proceedings of the 5th International Symposium on Wikis and Open Collaboration - WikiSym '09 - Measuring Wikipedia

de Alfaro, Luca, Ortega, Felipe

Year:

2009

Language:

english

File:

PDF, 132 KB

english, 2009

29

Qualitative concurrent parity games

Chatterjee, Krishnendu, Alfaro, Luca De, Henzinger, Thomas A.

Journal:

ACM Transactions on Computational Logic

Year:

2011

Language:

english

File:

PDF, 585 KB

english, 2011

30

[ACM Press the Eighth ACM International Conference - Shanghai, China (2015.02.02-2015.02.06)] Proceedings of the Eighth ACM International Conference on Web Search and Data Mining - WSDM '15 - WorkerRank

Daltayanni, Maria, de Alfaro, Luca, Papadimitriou, Panagiotis

Year:

2015

Language:

english

File:

PDF, 1.12 MB

english, 2015

31

[ACM Press the 2002 IEEE/ACM international conference - San Jose, California (2002.11.10-2002.11.14)] Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design - ICCAD '02 - Convertibility verification and converter synthesis

Passerone, Roberto, de Alfaro, Luca, Henzinger, Thomas A., Sangiovanni-Vincentelli, Alberto L.

Year:

2002

Language:

english

File:

PDF, 183 KB

english, 2002

32

[ACM Press the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium - Vienna, Austria (2001.09.10-2001.09.14)] Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-9 - Interface automata

de Alfaro, Luca, Henzinger, Thomas A.

Year:

2001

Language:

english

File:

PDF, 255 KB

english, 2001

33

[ACM Press the 45th ACM technical symposium - Atlanta, Georgia, USA (2014.03.05-2014.03.08)] Proceedings of the 45th ACM technical symposium on Computer science education - SIGCSE '14 - CrowdGrader

de Alfaro, Luca, Shavlovsky, Michael

Year:

2014

Language:

english

File:

PDF, 539 KB

english, 2014

34

[ACM Press the 1st ACM workshop - Alexandria, Virginia, USA (2008.10.27-2008.10.27)] Proceedings of the 1st ACM workshop on Workshop on AISec - AISec '08 - Robust content-driven reputation

Chatterjee, Krishnendu, de Alfaro, Luca, Pye, Ian

Year:

2008

Language:

english

File:

PDF, 181 KB

english, 2008

35

[ACM Press the 22nd international conference - Rio de Janeiro, Brazil (2013.05.13-2013.05.17)] Proceedings of the 22nd international conference on World Wide Web - WWW '13 - Attributing authorship of revisioned content

de Alfaro, Luca, Shavlovsky, Michael

Year:

2013

Language:

english

File:

PDF, 877 KB

english, 2013

36

Adaptive control-theoretic detection of integrity attacks against cyber-physical industrial systems

Rubio-Hernan, Jose, De Cicco, Luca, Garcia-Alfaro, Joaquin

Journal:

Transactions on Emerging Telecommunications Technologies

Year:

2017

Language:

english

File:

PDF, 1.21 MB

english, 2017

37

Cyber-physical architecture assisted by programmable networking

Rubio-Hernan, Jose, Sahay, Rishikesh, De Cicco, Luca, Garcia-Alfaro, Joaquin

Journal:

Internet Technology Letters

Year:

2018

Language:

english

File:

PDF, 329 KB

english, 2018

38

Regeneration of Pinus pinaster Aiton after prescribed fires: Response to burn timing and biogeographical seed provenance across a climatic gradient

Sagra, J., Ferrandis, P., Plaza-Álvarez, P.A., Lucas-Borja, M.E., González-Romero, J., Alfaro-Sánchez, R., De las Heras, J., Moya, D.

Journal:

Science of The Total Environment

Year:

2018

Language:

english

File:

PDF, 1.84 MB

english, 2018

39

Changes in soil water repellency after prescribed burnings in three different Mediterranean forest ecosystems

Plaza-Álvarez, P.A., Lucas-Borja, M.E., Sagra, J., Moya, D., Alfaro-Sánchez, R., González-Romero, J., De las Heras, J.

Journal:

Science of The Total Environment

Year:

2018

Language:

english

File:

PDF, 2.02 MB

english, 2018

40

Predation on Early Recruitment in Mediterranean Forests after Prescribed Fires

Sagra, Javier, Moya, Daniel, Plaza-Álvarez, Pedro, Lucas-Borja, Manuel, Alfaro-Sánchez, Raquel, De Las Heras, Jorge, Ferrandis, Pablo

Journal:

Year:

2017

File:

PDF, 2.66 MB

2017

41

Short-term effects of prescribed burning in Mediterranean pine plantations on surface runoff, soil erosion and water quality of runoff

Lucas-Borja, M.E., Plaza-Álvarez, P.A., Gonzalez-Romero, J., Sagra, J., Alfaro-Sánchez, R., Zema, D.A., Moya, D., de las Heras, J.

Journal:

Science of The Total Environment

Year:

2019

Language:

english

File:

PDF, 1.14 MB

english, 2019

42

Short-term effects of prescribed burning in Mediterranean pine plantations on surface runoff, soil erosion and water quality of runoff

Lucas-Borja, M.E., Plaza-Álvarez, P.A., Gonzalez-Romero, J., Sagra, J., Alfaro-Sánchez, R., Zema, D.A., Moya, D., de las Heras, J.

Journal:

Science of The Total Environment

Year:

2019

File:

PDF, 1.14 MB

2019